Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation

نویسندگان

  • Pierre Boulet
  • Xavier Redon
چکیده

RÉSUMÉ. Le modèle polyèdrique est très souvent utilisé pour l’analyse et la transformation de programme dans les compilateurs paralléliseurs. Les prototypes de recherche dans ce domaine utilisent donc souvent des outils comme PIP (résolution paramétrique de problèmes linéaires), la PolyLib (bibliothèque de manipulation de polyèdres) ou Omega (bibliothèque et interface de manipulation de formules de Presburger). Les deux principaux problèmes de ces outils sont leur manque de convivialité et des modules de simplification trop primitifs. Le manque de simplification fait que l’enchaînement de calculs conduit à des résultats incompréhensibles ou qui n’aboutissent pas pour des problèmes de mémoire ou de temps. La bibliothèque SPPoC (Symbolic Parameterized Polyhedral Calculator) résoud ces problèmes grâce à son interface totalement symbolique et à des modules de simplification des résultats plus poussés. Elle permet aussi d’unifier différents outils. La présentation de SPPoC est illustrée par deux applications : une application de génération de code et une application d’estimation de volume de communications.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Polyèdres et compilation

Résumé La première utilisation de polyèdres pour résoudre un problème de compilation, la parallélisation automatique de boucles en présence d’appels de procédure, a été décrite et implémenté il y a près de trente ans. Le modèle polyédrique est maintenant reconnu internationalement et est en phase d’intégration dans le compilateur GCC, bien que la complexité exponentielle des algorithmes associé...

متن کامل

Traduction automatique de termes biomédicaux pour la recherche d'information interlingue

RÉSUMÉ. Dans cet article, nous présentons une méthode de traduction automatique de termes biomédicaux. Cette méthode s’appuie sur une technique originale d’apprentissage supervisé de règles de réécriture et sur l’utilisation de modèles de langue. Les évaluations présentées montrent que notre technique est très performante et permet de traduire à partir et à destination de n’importe quelle langu...

متن کامل

Résumé automatique de texte avec un algorithme d'ordonnancement

Résumé: Dans cet article, nous proposons une nouvelle approche pour le résumé automatique de textes utilisant un algorithme d'apprentissage numérique spécifique à la tâche d'ordonnancement. L'objectif est d'extraire les phrases d'un document qui sont les plus représentatives de son contenu. Pour se faire, chaque phrase d'un document est représentée par un vecteur de scores de pertinence, où cha...

متن کامل

Manipulation aux échelles microscopiques

Résumé La manipulation robotique aux échelles microscopiques représente un enjeu majeur pour le développement des techniques biologiques et pour l’avènement de produits hautement miniaturisés réalisés par micro-assemblage. La miniaturisation d’un système de manipulation est confrontée à plusieurs ruptures de type physique ou technique, comme par exemple la prédominance des forces d’adhésion sur...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Technique et Science Informatiques

دوره 20  شماره 

صفحات  -

تاریخ انتشار 2001